Biopipe: A Flexible Framework for Protocol-Based Bioinformatics Analysis

A Flexible Micro Protocol Framework

Component Framework Technology for Flexible Protocol Stacks

The context of this paper and the corresponding challenges are formed by network services and their requirements to the underlying protocol stack. The relevance of this research is confirmed by three recent trends in network services and their execution environment: growing reliance of businesses and individuals on network connectivity, highly dynamic network characteristics, and a wide range o...

A Framework for Compassion-Based Teaching

To present a framework for compassionate teaching, the views of teachers and students on the topic were sought. These informants were chosen from among their corresponding populations in Tehran, using the snowball and mixed methods. Semi-structured interviews were used to gather the needed data. To analyze the data open coding and descriptive categorization were utilized. Results show that from...

An ontology-based framework for bioinformatics workflows

The proliferation of bioinformatics activities brings new challenges - how to understand and organise these resources, how to exchange and reuse successful experimental procedures, and to provide interoperability among data and tools. This paper describes an effort toward these directions. It is based on combining research on ontology management, AI and scientific workflows to design, reuse and...

A Novel Framework for Protocol Analysis

We describe a novel reformulation of Canetti’s Universal Composability (UC) framework for the analysis of cryptographic protocols. Our framework is different mainly in that it is (a) based on systems of interactive Turing machines with a fixed communication graph and (b) augmented with a global message queue that allows the sending of multiple messages per activation. The first feature signific...